Representación con Restricciones de Medidas Cualitativas: Aplicación a un Problema de Scheduling

La programación lógica con restricciones está enfocada a resolver problemas por medio de cláusulas definidas. Conocida internacionalmente como Constraint Logic Programming y abreviada como CLP, la programación lógica con restricciones es un potente paradigma utilizado en aplicaciones como el diseño de hardware, inteligencia artificial, planificación, calendarización, optimización y procesamiento de lenguaje natural, entre otras. Un problema en CLP especifica un conjunto de restricciones que deben ser satisfechas por la o las soluciones, en lugar de especificar los pasos a seguir para encontrar dichas soluciones. Esto es, el usuario establece el problema y la computadora lo resuelve. Las restricciones son resueltas generalmente por módulos solucionadores de restricciones incorporados a los lenguajes de programación lógica, los cuales se encargan de acotar el espacio de búsqueda del problema y de resolver las restricciones. Un problema clásico de CLP es la calendarización de eventos, también conocido en inglés como scheduling. Definimos un problema de scheduling como el proceso de asignar recursos o actividades a lo largo del tiempo. En este trabajo se plantea una estrategia para resolver un problema de scheduling utilizando restricciones. La estrategia se aplica al caso particular de selección de peĺıculas de cine a las que un usuario puede asistir de acuerdo a restricciones de tiempo, e.g. estancia en los multicinemas y tiempos de traslado entre dos multicinemas, y restricciones de calidad subjetiva impuestas por el mismo usuario. Para el caso de las restricciones de calidad subjetiva se utilizó como cota inferior en el espacio de búsqueda, una aproximación estad́ıstica de la máxima calidad posible para un determinado número de peĺıculas que el usuario podŕıa ver. El sistema entrega al usuario un subconjunto de peĺıculas que satisfacen el conjunto de restricciones de tiempo y calidad subjetiva. Es importante destacar dos aspectos. Primero, que en este trabajo se propone una estrategia para la representación de una medida cualitativa y segundo, que se utiliza CLP para resolver un problema de scheduling, debido a que este paradigma proporciona un soporte lógico bien definido y estudiado para la especificación de problemas [6], a diferencia de métodos convencionales como por ejemplo Simplex. El resto del art́ıculo está organizado en esta forma. En la sección 2 se presenta brevemente el trabajo relacionado. En la sección 3 se describe el conjunto de restricciones utilizado para resolver el problema de scheduling propuesto. En la sección 4 se presentan soluciones encontradas por un programa que resuelve este problema. Por último, en la sección 5 se dan las conclusiones del trabajo.